b'Governor Greg Abbott welcomed President Juan Orlando Hernandez of the Republic of Honduras to Texas'