US authorities got a tip-off from a ship design company before seizing a Russian oligarch's superyacht