International law on ship recycling and its interface with EU law.