Biden’s budget for world war