Does Trump weigh 239 lbs?