South Korea's president just slapped down Donald Trump without even mentioning his name