After more than 50 years of loyal service, the US Navy tells BBC Future it is ready to replace its pods of highly trained sea mammals with cheaper robots.