A Naval Biographical Dictionary/Lipson, Thomas