The Trump administration on Thursday proposed a multibillion-dollar overhaul of a U.S. air-traffic control system that it said still relies on floppy disks and replacement parts found on eBay and has ...