The director of Mario and the Magician was born in what year?