File:East china sea.jpg