I think no matter which solution you try it will be tough since you said the horns were almost as loud as the choir.
If it is possible to get the choir together by themselves. Put headphones on them and record them by themselves while listening to the recording. This will get you the opportunity to mic them better and get the best recording.