A Naval Biographical Dictionary/Whitaker, Thomas