Marc Anthony files for divorce from Shannon De Lima

The singer and his estranged wife have already reached a property settlement.