Fallece el jefe de la Casa Militar Coronel Ramón Armas Pérez.