Just checked, and the earth map has plains elephants and grassland elephants (with the grassland 'phants ringed by jungle). See the opening post of King of the World 13, for instance.
So I think adding grassland elephants amidst jungle is A-OK, even if whatever map script you use doesn't deliver them by itself.
So I think adding grassland elephants amidst jungle is A-OK, even if whatever map script you use doesn't deliver them by itself.