Onlookers have been hailed for a 'really quick, timely response' after a 16-year-old boy was mauled by a shark at a popular tourist beach in northern NSW.