Should Kipchoge Be Left Off Team Kenya?