Countably compact groups without non-trivial convergent sequences - Michael Hrušák; Jan van Mill; Ulises Ariet Ramos-García; Saharon Shelah (2020)