On the Axiomatisability of the Dual of Compact Ordered Spaces