Suppose Big Ben is the nickname for the Great Bell of the clock at the north end of the Palace of Westminster in London, England. The tower is officially known as the Elizabeth Tower, renamed to celebrate the Diamond Jubilee of Queen Elizabeth II in 2012. The tower was completed in 1859 and the Great Clock started on May 31, with the Great Bell's strikes heard for the first time on July 11.
Can we infer that "The clock at the Palace of Westminster is officially named the Big Ben."? Yes, no, or maybe?