Leave shore line plugged in or not?