What happend to jun at the end of halo reach

In the Dev Commentary/Playthrough they said that he also might have been killed protecting Hasley. I think we will have to wait for a "expansion" or something to really find out what happened.