Disgraced former President Trump is having trouble deciding on a nickname for Florida Governor Ron DeSantis to use when their ongoing cold war inevitably turns hot, stuck on whether “Potato Boy” or “Fat Ron” will be his verbal his weapon of choice, Huffington Post’s SV Date reports.