A swimming pool that doubles as a home theater