Tips for travelers after Fort Lauderdale airport shooting