Which constructor was present at the Redex Trophy race?
create table table_1140114_5 (constructor varchar, race_name varchar, PRIMARY KEY (constructor))
select constructor from table_1140114_5 where race_name = "redex trophy"