Which agency has not seen its budget more than double since 2001?
a) Coast Guard
b) Border Patrol
c) Transportation Security Administration
d) United States Navy