(v)undockmove out of a dock“We undocked at noon”