Población de la colonia de Adén en 1955