Since they quit making the cure , good for you it didn’t bite you , Texas coral snakes are more aggressive than easterns and have a tendency to get larger . Not to be messed with . On a side note it was likely in your yak and got it in at your storage area , as they rarely if ever get in the water .
Nice fish btw and congrats on surviving the close encounter