I agree, accretions around an ice core. A comet surrounded by captured rock that is then itself captured by Mars.
Asteroids are not equal.
The ice theory makes the massive craters hard to explain, doesn’t it.
Also, isn’t 11km diameter too small to explain a spherical form, unless its is comprised of gravel?