Thai Red Curry of Prawns