Rocks tend to be 5-10x denser than water, so assume 2 million cube meters. That is just 2 square kilometers 1 meter high, so not mountains or so. As a comparison, for a large iron mine they dig up many billions of tons of rock, and that is for very cheap iron, so you wouldn't need a very large operation to dig this up.