Gerrit Cole reportedly not traded to Astros: 'False rumor'