Holiday season is travel season. Here’s how to thank the military people you may encounter.