then-Republican nominee Donald Trump