Thailändisches rotes Curry mit Crevetten Jasminreis mit Kokosmilch, Baby-Pak-Choi