Sentence:  Currently , marina is used to indicate a municipal or commercially operated facility where a pleasure boat may <WSD>dock</WSD> and find some or all of the following available : gasoline , fresh water , electricity , telephone service , ice , repair facilities , restaurants , sleeping accommodations , a general store , and a grocery store . 
Meaning of the word marked with <WSD> tags:  come into dock