Text this: Development of a Plasmodium vivax malaria model for evaluating the effects of control strategies on the malaria burden in Democratic People's Republic of Korea