text: on Tuesday, the Secretary of the Navy, Carlos del Toro, presented Cruz with the Distinguished Public Service Award, the highest honor that can be bestowed upon a civilian outside of the Department of the Navy.