Entered for safe-keeping, adapted from pressurecookerdiaries.com. I estimate that this will fit into a 6-quart Pressure Cooker without the rice or else an 8-quart cooker with the rice. This relies on a jar of McCormick's Thai Kitchen Red Curry Paste, tailored for U.S. consumption, so it is likely milder than more authentic red curry pastes. (The Thai Kitchen fish sauce is known to be milder than Tiparos. If using Tiparos, use 1 tsp. instead of 1 Tbsp.) Note that potatoes are rarely used in Thai cuisine, so this may be more Malay or Indian than Thai.