Tôi cần biết một vài thông tin như sau, người nước ngoài đã đăng ký thường trú tại Việt Nam, khi đến khu vực biên giới biển phải có những loại giấy tờ gì? Nếu người nước ngoài lưu trú qua đêm tại khu vực biên giới biển thì thực hiện khai báo như thế nào?