Is ‘The Terminal’ Based on a True Story?