What could the government fund instead of Trump trips?