North korea invaded south korea