Task: Text to Code
Input (English): What are the countries that have cartoons on TV that were written by Todd Casey?
Output (English): SELECT T1.country FROM TV_Channel AS T1 JOIN cartoon AS T2 ON T1.id = T2.Channel WHERE T2.written_by  =  'Todd Casey'