Muere Ramón Vila, quien fuera por más de 30 años cirujano-jefe de la Maestranza