Virginia health officials warn travelers of potential measles exposure