A Naval Biographical Dictionary/Bastin, Robert