A Naval Biographical Dictionary/Gardiner, Allen Francis