Has South Korea really hired an official to monitor Donald Trump's tweets?