CDC’s mask mandate for travel shot down by judge