two small rocky islands in the Indian Ocean.