A Naval Biographical Dictionary/Hall, Robert