för Republiken Texas har , den 20 Juni.