Instant pot pho [after...20 min on high pressure]