Comparative economic analysis of strategies for Japanese encephalitis vaccination of U.S. travelers. Issue 17 (9th April 2020)