Hendra virus: to vaccinate or not to vaccinate? What is the alternative?