If Aguada Santeros wins the Aguada Santeros vs Capitanes de Arecibo men's professional BSN Puerto Rico basketball game originally scheduled for Jul 19, 2026 at 8:00 PM EDT, then the market resolves to Yes.