Trump says IBM, Raytheon may get US contract to modernize air traffic control system