A case of imported JE acquired during short travel in Vietnam. Are current recommendations about vaccination broader?