Ironman Texas 2018, omologati i nuovi tempi record. Ecco i motivi