A Naval Biographical Dictionary/Benson, John Robert