Since you are going all lawyer on this one, you should know they weren't flying any national flag. Technically, if you do this in international waters you are a pirate and anyone can legally do what the US did in that situation. Maritime law is very old and has some interesting provisions in it. The parts you quote only matter if a national flag is being flown at the time.