20011215 india: Three Korean warships arrive in Mumbai