Should the U.S. increase or decrease its space exploration budget?