Ciudad Rodrigo Cathedral, note war damage