Shell shuts crude oil vessel over leakage