The dual of compact ordered spaces is a variety