Poder Ejecutivo designó a José Luis Elizondo como nuevo comandante en jefe de la Armada El contraalmirante se estaba desempeñando como jefe interino de la fuerza desde marzo