The US Navy developed a “shark repellant” during WWII