The geological history of the sedimentary basin of southern Mozambique, and some aspects of the origin of the Mozambique channel