Off to Elvedon tomorrow, can my boys wear swim-shorts in the pool or do they insist on trad trunks, some places we have been to do! Thank you!