716.000.000.000 $ US-Militärhaushalt 2019