I am at the airport waiting for a flight and there is a boy about 6 who is waiting for what I hope is a different flight. He has the telltale bark of what used to be called croup. But could it be whooping cough? He's a cute little guy and I heard him telling someone that he's on his way to Disneyland. So here's the dilemma? Should airline personnel step in and inquire about his condition before he boards the plane? He is pretty much barking non-stop so whether croup or whooping cough, he's likely contagious. Your thoughts?