Home Economy News Factbox-How hard have US agencies been hit by Trump and Musk’s layoffs?