**FILE** Rep. Ron Paul, Texas Republican