Компанията Royal Dutch Shell съобщи за петролен теч на една от своите платформи в Северно море.