Brief Review of Miocene Opening of the Japan Sea