A horn shark was stolen from an aquarium in San Antonio, Texas, with the thieves leaving a trail of drips behind.