The pool was one of the first pools ever created, was taken off-line for many years, and is now re-initiated as decentralized. So those coins were in fact mined in @Luke Dashjr initial pool.