Mexico navy says 10 assailants killed after attack on flood-monitoring patrol