بحر الصين الشرقي
East China Sea in astronomy.