> I was informed it was a default to Trump.

Were they wrong?