Ciudad Rodrigo — city in the province of Salamanca, in western Spain