This question has been settled with a final result: "Yes". Trading has finished.
The market will expire as "Yes" if we meet in-person for the entire class. Otherwise it will expire as "No."