LONDON (Reuters) - Oil prices jumped on Tuesday after the shutdown of a North Sea pipeline knocked out significant supply from an already tightening market, while world stocks took a break from a three-day rally.