A Naval Biographical Dictionary/Gardiner, William