Trump says IBM and Raytheon might get contract to modernize air traffic controller system