A Naval Biographical Dictionary/Quin, Michael