according to the list of alpine peaks by prominence, is pizzo di coca more/less than 2000 m?
less