A government agency that manages, leases, and sells buildings owned by the United States government.