Finite-amplitude river dunes