Ciudad Rodrigo is a small cathedral city in the province of Salamanca, in western Spain, with a population in 2016 of 12,896. It is also the seat of a judicial district. From Wikipedia