Minesweeper: Sorting one way on records