retire Adm. John M. Richardson