$17 billion.


Source: Department of Homeland Security (page 106).