how does the us have a naval base in cuba