Ponte di Mammea, ora Ponte Mammolo