national defense is paid for by taxes