President Obama orders flags in TX flown at half-staff on April 25th