Isola di Caprera, Isola di Santo Stefano, Isola del Porco