What to do with HDFC Bank shares?