lanai — type of roofed, open-sided veranda, patio or porch originating in Hawaiʻi