Lost continent identified in Indian Ocean

The holiday islands of Reunion and Mauritius are all that remains of a small continent that's been hidden under lava for millions of years.