Home Investing US government to vacate 793 offices as Elon Musk’s DOGE cuts real estate costs