Шант — это страховочное устройство, которое спасло немало жизней. В честь кого оно получило свое неофициальное название?