Texas student fatally shoots police officer