The U.S. White House budget document: President Trump's budget proposal includes $4 billion for the Federal Aviation Administration to continue building a new air traffic control system.