Time to panic about the defense budget?