North Korea and the coronavirus: why internal controls may be working