Which star of "Mr. Hobbs Takes a Vacation" was also in the military?