what are the odi stumps for devon thomas?
(AND type.int (JOIN (R cricket.cricket_player.odi_stumps) m.07s3h5y))