Text this: Indefinite LQ Optimal Control with Terminal State Constraint for Discrete-Time Uncertain Systems