Trump and Elon Musk are focusing on culling federal workers in the U.S.