Deimos, Mars' smaller moon, has an average diameter of about 12 km. While there are smaller irregular moons in the outer solar system, among the options listed, Deimos is one of the smallest known moons and is certainly smaller than Proteus (420 km) and Albiorix (~30 km).