Joint operations and insolvent operators: Change of operatorship during a receivership