The leases targeted by Elon Musk’s Department of Government Efficiency include several offices of the US Department of Labor, ...