Nogal-Ping Hotel linoleum: Linoleum from the Nogal-Ping Hotel