Pan-Grilled Pork Chops with Red Onions