Should Gasly have been penalised for first-corner tangle with Alonso? | Penalty Box

Were the stewards right to give Pierre Gasly a five-second time penalty, and two penalty points on his licence, for knocking Fernando Alonso into a spin at the first corner?