¡El Bloombito! Mike Bloomberg corrects reporter on proper pronunciation of ‘Tejas’