badande arbetare sjönk häromdagen plötsligt i nya badhusets bassäng och drunknade.