Depending on What Denominator is Used, Either 62% or 42% of the Federal Budget Goes to the Military