Bãi đá ấy, bây giờ người ta vẫn gọi là bãi đá Bảo Đại.