Oceanside Harbor receives overdue dredging