Permits Filed for Rockwork in Star Wars: Galaxy’s Edge at Disney’s Hollywood Studios