Actually it was turned into a multi use facility during the base cuts in the 90s. That’s a different island, man made for the World’s Fair, then taken over by the Navy in WWII. This one is officially Red Rock Island.
Charlie Chan at Treasure Island:
https://www.youtube.com/watch?v=AiYyOZtHhWw