Compensation for marine environmental damage from ship-source pollution