¿Cómo se apellidaba el almirante presidente del gobierno que murió en atentado de ETA en 1973?