It is not being well reported but they are ending leases right now with no plan for where the workforce will go or how they will complete the mission. This current EO is about dramatically divesting from real property holdings, not freezing the footprint in place.