ROK declared martial law