Can you put painter turtle in koi fish pond?