A Naval Biographical Dictionary/Prince, John