Mitchell (The Sea Devils)