अमेरिकी नौसेना ने ईरानी युद्धपोत डुबोया, क्या बचे लोगों को बचाना कानूनी था?