Hurricane Michael could turn Florida’s “red tide.” But how?