Τι είναι ο στρατιωτικός νόμος και πότε ήταν η τελευταία φορά που εφαρμόστηκε στη Νότια Κορέα;