A Naval Biographical Dictionary/Hallowes, Thomas