A Naval Biographical Dictionary/Robins, John Gunn