For those on DTV, And travelling from Nigeria to Bangkok, when filling the Thailand arrival form, was it compulsory to have the yellow fever vaccination?