Trump makes appearance with Musk, signs executive order downsizing federal workforce, 11 February 2025