State the number of positive tweets from Ha Noi.
positive tweet refers to Sentiment > 0; 'Ha Noi' is the State
SELECT COUNT(T1.TweetID) FROM twitter AS T1 INNER JOIN location AS T2 ON T2.LocationID = T1.LocationID WHERE T1.Sentiment > 0 AND T2.State = 'Ha Noi'