“Ron DeSanctimonious” became Trump’s nickname for his leading opponent during the presidential primary season, which ended ...