penalty kick — type of direct free kick in association football