The White House is proposing to cut more than 9,400 workers and just over $1.5 billion from the ​60,000-employee Transportation Security Administration that handles airport security operations, according to budget ‌documents.

The details were part of a budget document for the Department of Homeland Security, which oversees TSA, that is part of the White House budget proposal for the next fiscal year.