20050723 unknown: How many one-day internationals in cricket have ended in a tie?