No, the map file was "beavercreek.map." The in-game name is "Battle Creek." In Halo 2, Bungie decided to call it "Beaver Creek." Unfortunately, the shittier of the two names has stuck.