List all the voice actors in the movie directed by Ben Sharpsteen which was released on February 9, 1940.
Ben Sharpsteen refers to director = 'Ben Sharpsteen'; released on February 9, 1940 refers to release_date = 'Feb 9, 1940';
SELECT T2.`voice-actor` FROM director AS T1 INNER JOIN `voice-actors` AS T2 INNER JOIN movies_total_gross AS T3 ON T1.name = T2.movie AND T2.movie = T3.movie_title WHERE T1.director = 'Ben Sharpsteen' AND T3.release_date = 'Feb 9, 1940' AND T2.`voice-actor` != 'None' GROUP BY T2.`voice-actor`
database name:db_id disney
characters table characters Cols: movie title dtype text, release date dtype text, hero dtype text, villian dtype text, song dtype text, 
director table director Cols: name dtype text, director dtype text, 
movies_total_gross table movies_total_gross Cols: movie title dtype text, release date dtype text, genre dtype text, Motion Picture Association of America rating dtype text, total gross dtype text, inflation adjusted gross dtype text, 
revenue table revenue Cols: Year dtype integer, Studio Entertainment[NI 1] dtype real, Disney Consumer Products[NI 2] dtype real, Disney Interactive[NI 3][Rev 1] dtype integer, Walt Disney Parks and Resorts dtype real, Disney Media Networks dtype text, Total dtype integer, 
voice-actors table voice-actors Cols: character dtype text, voice-actor dtype text, movie dtype text, 
