El alcalde de Sevilla, José Luis Sanz, admite que no habría cambiado el nombre del antiguo Hospital Militar: https://www.diariodesevilla.es/sevilla/Sevilla-Jose-Luis-Hospital-Militar-video_0_1882912558.html?utm_source=telegram.com