The Herald of Free Enterprise casualty and its effect upon maritime safety philosophy