Sorted by points… JW1 - King and JW5 - Thomas are tied for 2nd.
Using points head-to-head… JW1 - King 4, JW5 - Thomas 2; JW1 - King is 2nd, JW5 - Thomas is 3rd.
The above uses the current tie-breaker settings from the website; official rules prevail in any discrepancies