米軍勤めの韓国人も4月から無給休暇していたはずだが、あちらはどうなったんだろう?