Which is hotter red Thai curry or green Thai curry?