Lessors’ Priority Preserved: Implications for Post-Appointment Trading and DOCAs