A Naval Biographical Dictionary/Thomas, Robert (a)