US Sinks Iranian Warship: Was Failure to Rescue Survivors Legal?