На чемпионате мира по плаванию тройку лидеров замкнул электрик Петров.