Where’s bin Laden? Is That in the Budget?