The 17,000-carat Olympic Australis, e.g.