In between Henry Selick and John Badham, who was the director of Coraline?