I'm playing Halo 3's campaign. I'm on the Ark and I just realized that all of the Marines I'm encountering are ODST. Were the Marines on this level always ODST? I can't remember.