The United States Armed Forces, for all of its serious and mission-oriented mannerisms, has always gone out of its way to keep the magic alive around Christmas time. The Marines have Gunny Claus and Toys for Tots, the Army has celebrated with fun ru…