Home Business SeaWorld lays off undisclosed variety of staff