President Donald Trump on Tuesday signed an executive order meant to sharply reduce the size of the federal workforce.