20011215 city.mumbai: Three Korean warships arrive in Mumbai