query: What is the largest basketball stadium in Puerto Rico?
passage: José Miguel Agrelot Coliseum
The Coliseo de Puerto Rico José Miguel Agrelot (English: José Miguel Agrelot Coliseum of Puerto Rico) is the biggest indoor arena in Puerto Rico dedicated to entertainment. It is located at the Golden Mile of San Juan, the island capital. It is usually referred by Puerto Ricans as the Choliseo, which is a portmanteau of the words "Coliseo" and "Cholito", in reference to Don Cholito, one of José Miguel Agrelot's characters and Agrelot's own adopted nickname.
passage: Leones de Ponce (basketball)
The team's home court is Juan Pachín Vicéns Auditorium, named after the Ponce basketball legend who won several titles with the Leones and was even declared to be the "Best Player of the World" during the 1959 FIBA World Championship in Chile. The auditorium opened on May 12, 1972. Initially it had a maximum capacity of 7,786 but numerous remodelations have increased this to exceed 8,000.