HMS Ocean sale to Brazil for £84m has just been confirmed