President Trump Signs an Executive Order, July 31, 2025