La estación de Metro de Madrid de San Bernardo cambia de nombre y se convierte en San Patricio