Juan de Echeverri y Rovere, capitán general de la Armada.