Vaccination to control an outbreak of Mycoplasma crocodyli infection.