Gravar-mail: Optimal surveillance strategy for invasive species management when surveys stop after detection