războiul local dintre cele două Corei