Why Ripple Cannot Be Mined