Seals, seal trainers, and mycobacterial infection.