How did a terrorist from the UK get to Texas?