Operators of West End venue the Palace Theatre have been forced to carry out emergency remedial work after discovering a leak that