Steel trade Howard to Sharks for OL Robinson