White House says masking optional, but recommended for travelers