Madrid. Muere Francisco Redondo, jefe superior de Policía de Madrid