Instant-Pot-Thai-Red-Beef-Curry