In Indonesia, bigger catches for a fishing village protecting its mangroves