A Naval Biographical Dictionary/Porter, Thomas