What we know about South Korea’s martial law